And it can be shown to satisfy the Kuratowski closure axioms.
2.
Another way to define a topological space is by using the Kuratowski closure axioms, which define the closed sets as the operator on the power set of X.
3.
Therefore, the abstract theory of closure operators and the Kuratowski closure axioms can be easily translated into the language of interior operators, by replacing sets with their complements.
4.
"Comments " : The Kuratowski closure axioms abstract the properties of the closure operator on a topological space, which assigns to each subset its topological closure.
5.
About Kuratowski closure axioms . well, i already put this question in the talk page, but got no response . i think it's good enough to be here: